141. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده: / Dirk Taubner
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic data processing--Distributed processing,Petri nets,Programming languages (Electronic computers)
رده :
QA
,
76
.
9
,.
D5
,
T39
,
1989
142. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده: / Dirk Taubner
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic data processing -- Distributed processing,Petri nets,Programming languages (Electronic computers)
رده :
QA
76
.
9
.
D5
T39
1989
143. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic data processing ; Distributed processing. ; Petri nets. ; Programming languages (Electronic computers) ;
144. Formal methods for concurrency
پدیدآورنده: Fencott, Clive
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Real-time data processing , Real-time programming , Programming Languages )Electronic computers(
رده :
QA
76
.
54
.
F46
1996
145. From problem to program
پدیدآورنده: / M. E. Wardle
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers - Programming,Electronic data processing - Mathematics
رده :
001
.
642
W266
146. From problem to program
پدیدآورنده: Wardle, M E
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Electronic data processing-- Mathematics
رده :
QA
76
.
6
.
W35
147. Fundamentals of computer science
پدیدآورنده: Walker, Terry M, 8391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Electronic data processing,، Electronic digital computers - programming
رده :
QA
76
.
W19
148. GNU Octave
پدیدآورنده: Jesper Schmidt Hansen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Numerical analysis-- Data processing,Programming languages (Electronic computers)
رده :
QA76
.
73
.
G58
S36
2011
149. Handbook of circuit analysis languages and techniques
پدیدآورنده : Jensen, Randall W.
موضوع : ، Electronic circuit design-- Data processing,، Programming language )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
150. Handbook of circuit analysis languages and techniques
پدیدآورنده: / editors, Randall W. Jensen, Lawrence P. McNamee
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic circuit design -- Data processing,Programming languages (Electronic computers)
رده :
TK
7867
.
J39
R
151. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
رده :
TK
7888
.
3
.
I57
1997
152. How to solve it by computer
پدیدآورنده: / by R.G. Dromey
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Mathematics - Data processing,Problem solving - Data processing,Electronic digital computers - Programming
رده :
QA
76
.
95
.
D76
1992
153. How to solve it by computer
پدیدآورنده: / R.G. Dromey
کتابخانه: کتابخانه و مدیریت دانش دانشکدگان مدیریت (دانشگاه تهران) (تهران)
موضوع: Mathematics - Data processing,Problem solving - Data processing,Electronic Digital computers - programming
رده :
519
.
4
D786h
154. How to solve it by computer
پدیدآورنده: / by R.G. Dromey
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Mathematics -- Data processing,Problem solving -- Data processing,Electronic digital computers -- Programming
رده :
QA
76
.
95
.
D76
1982
155. How to solve it by computer
پدیدآورنده: Dromey, R. G.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Mathematics- Data processing,، Problem solving- Data processing,، Electronic digital computers- Programming
رده :
QA
76
.
95
.
D75
156. Information processing and computer programming
پدیدآورنده: / (by) Harold C. Hill
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic data processing,Electronic digital computers -- Programming
رده :
QA
76
.
H48
157. Information processing and computer programming: an introduction
پدیدآورنده: Hill, Harold C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing,، Electronic digital computers-- Programming
رده :
QA
76
.
H48
158. Informationsverarbeitung :
پدیدآورنده: Juergen Rasch, Angele Daalmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electronic data processing.,Programming languages (Electronic computers)
159. Informatique
پدیدآورنده: / par Daniel-Jean David,David
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Electronic data processing,Electronic digital computers - Programming,Programming languages ( Electronic computers)
رده :
QA
76
.
D33328
160. Intelligent and congnitive systems: Proceedings of the International Conference on Intelligent Systems Research Faculty, September 23-26, 1996, Tehran, Ira
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Cognition-- Mathematical models-- Congresses,، Cognition-- Data processing-- Congresses,، Cognition science-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
BF
311
.
I5664
1996
